Du (dé)bris symbolique

Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique

The main purpose of this paper is to give a methodfor construction of the reduced reachability graphfor Stochastic Pétri Nets (SPN), the symbolic graph. This construction is achieved by exploiting the structural symétries in the net using the theory of bisimulation of places for detecting isomorphic parts in the net. The symbolic graph, being isomorphic to an agregated Markov chain, may be used...

Représentation Symbolique de Trajectoires Géolocalisées

RESUME. Énormément de trajectoires géolocalisées sont produites et disponibles, mais leur exploitation pour en tirer des informations intéressantes reste difficile. L'obstacle qui nous intéresse ici est la mauvaise qualité de certaines de ces données : échantillonnage très irrégulier et précision médiocre. Nous proposons de les transposer dans des domaines symboliques pour pouvoir effectuer des...

Autojection et compilateurs procedure formelle symbolique

Test Symbolique De Services Web Composites

Web services are gaining industry-wide acceptance and usage by fostering the development of distributed applications out of the composition of simpler entities called services. In complement to verification, testing allows one to check for the correctness of a binary (no source code) service implementation with reference to a specification. In this thesis, we propose black box conformance testi...

Fusion symbolique pour la recommandation de programmes télévisés